$\exists$!$x$:$T$. $P$($x$) $\,\equiv$$_{\mbox{\scriptsize def}}$$\;\;$$\exists$$x$:$T$. $P$($x$) \& ($\forall$$y$:$T$. $P$($y$) $\Rightarrow$ $y$ $=$ $x$)